https://123dok.org/document/6qmpwn9q-the-complexity-of-reasoning-about-spatial-congruence.html