mercyproof

not defined yet