AGM 2017 writeup (3)