If тут вообще не нужен. Он выполняет либо второй, либо третий аргумент в зависимости от значения (t или nil) первого. Тут у if вообще только один аргумент. А cond должен получить значение t или nil и по нему уже решить, выполнить действие или следующие вычислять.