heresyproof
not defined yet