generated at
short-circuit evaluation