Moving stuff around and new notations for equivalences