if -- condition testing

if p then x else y -- computes p, which must yield the value true or false. If true, then the value of x is provided, else the value of y is provided.

if p then x -- computes p, which must yield the value true or false. If true, then the value of x is provided, else null is provided.