Mains Reasoning