infirming

not defined yet