Hack scoring to fix axiom terms. Actually use computed dep. Verifies!