Understanding based problem solving by R. Taconis