rewrites for OMA