PROC: invert ... again