Final cookbook (hopefully) for evote.
Added notation.