³Dot notation should not be used for functions in constraint expressions, as such functions are always evaluated eagerly.