pleplolarcmaci lujvo

x1 is origametry/origami-geometry mathematics of subtype/with axioms x2; x1 is the mathematics/mathematical principles of paper folding of form x2