Reasoning About Class Behavior