Tetralemma related domains (1)