Using Relation Symbols