z − (y  +  (z − t)) = z − (y  +  z − t) = z − y − z + t =  − y + t