Added spec writeup