This writeup is still in progress, please read this one instead.