Teacher Tools in the Property Expansion