review on slides, particularly about the forallM example