true, I called it axiom_relation just to make it less confusing. otherwise we'd have a relation object wrapper another relation object. naming :(