Pre- and post-conditions does not adequately describe function expression restrictions

[briandoyle81]

This article needs to state that function expressions are not allowed in conditions.