renamed forall gramar part