finished docs for forall