nonvitiation
not defined yet