adds heuristic section about Solovay-Kitaev