tetralemma

not defined yet