complete trans/inversion proof cc/@namin