[sriram_malhar]

I think of it in programming language terms.

The syntax 'A => B' is just a mechanical rule, which is macro-expanded into:

if A then B else true

where A and B are both bools, and the 'if..else' is an expression, not a statement. It evaluates to B when A is true, otherwise it returns true.