Conditionals Turing-complete