Writeup for WIMSE.