COND macro is used for branching. Variants are tested sequentially from the top. See also IF, CASE.
(cond ((> 3 4) "variant 1") ((> 4 2) "variant 2") (t "always valid variant")) => "variant 2"