roaster form of M=x|x=1