The Logic Master (Detailed)