====== Tetralemma ======