operators rewritten