Cool! Is this the same aperiodic tiling problem Fraa Jad solved in (Neal Stephenson's) Anathem?