1 FORALL_construct_statement