Class Reasoning