Universal_relation_assumption