from .constraint import Constraint, Proof

from .vacuous import Vacuous