Rewriting of Nobix