Sorting to Develop Definitional Reasoning