Можно ли реализовать «если» с помощью «call / cc»?

Мне сказали, что« call / cc »можно использовать для реализации произвольных конструкций потока управления, поэтому я пытаюсь реализовать все такие конструкции, используя« call / cc », но У меня проблема. Предполагая, что у меня не было «если», как мне реализовать это с помощью «define-syntax» и «call / cc»? Возможно ли это, или меня ввели в заблуждение? Я знаю, как реализовать безусловный переход с использованием "call / cc", но на машинном уровне условное выполнение выполняется с помощью инструкций ветвления, выполнение которых зависит от битов состояния процессора. Без конструкций этого типа я не понимаю, как это можно сделать.