x supra z = y supra t