initial rewrite of are