they represent different errors: a relation that is not possible vs one that is undefined