👤

x supra z = y supra t