answer(reflexive).
answer(bound_inequality).
answer(domain_equivalence_is_explicit).