notes on forall