ClassicalReasoningEvals is on its way!