Barbilian planes

An axiomatization of a class of planes generalizing projective planes is given. With a Moufang condition, these planes have coordinates from an arbitrary alternative ring in whichab=1 impliesba=1. The new techniques include covering planes, homotopy, tangent bundles, and the Lie ring of sections of the tangent bundle, although there is no topological, differential, or algebraic geometric structure.