Algorithms for finitely presented groups, and strong approximation.