<Divide 12 ( e.1 ) >;