Relation Checking Functionality