Condensing the writeup