Some changes in forall.md