forall's notebooks