https://123dok.org/document/dzx6rxnz-constructive-learning-modulo-theories.html