relations are non-rewrites