How do you define conditionals?

Special form it.

Evaluate the predicate only.

If ok, evaluate the rest.

Contraction

true ? E1 : E2 => E1

false ? E1 : E2 => E2