A2/E1: all functions until (including) filter
A2/E2 forall implemented
A2/E2 exists and map