Added reverse'-involutive.