statement describes

formalization of the statement contains a bound variable in this class