Add writeup for eXPLicit