You can implement comparisons using addition and multiplication (ANDs and XORs are just multiplication and addition over bits, and we build comparisons out of

You can implement comparisons using addition and multiplication (ANDs and XORs are just multiplication and addition over bits, and we build comparisons out of these all the time.) Re: the ability to do control flow, you can implement your Turing machine automaton as a circuit easily, and can then evaluate that using FHE