But if one systematically examines possible constraints in the order shown on pages 214 and 215  then it turns out that after examining more than 18 million of them  one finally discovers the system shown on the facing page