Updated a4 writeup