Reasoning classes