a relation either exists or it doesn't