Mention short-circuiting disjunction