https://www.guballa.de/substitution-solver