Apply properties of inverses (#682)