The Multi - statement FORALL in HPF.