Fixing Rels Logic