Removed reflexive transitive closure operator , and made + a prefix.