Can one encode if-statements by using modulo?