antwoorden 1
2a
2b (1), 2a (2)
2.2 klaar
3a
begin
remove inner exists clause
removed outer exists clause (one point)