rygorous Reverse -> Inverse