Page "Lazy evaluation" Paragraph 19

evaluates ( a ), then if and only if ( a ) evaluates to true does it evaluate ( b ), otherwise it evaluates ( c ).

That is, either ( b ) or ( c ) will not be evaluated.

Conversely, in an eager language the expected behavior is that