Tetralemma definitions