consistency in layout algorithms

in Algorithm 5.1, still have to determine the right precision for
GMconnection, (probably call it N_M and move it into the theorem)