Pātuhitia tēnei: A theory of generalized moufang loops.