4 ms·I'd think so. Certain types of recursion or undefinable branches leads to unprovable expressions.by alttab 17y agoI'd think so. Certain types of recursion or undefinable branches leads to unprovable expressions.