Finally showing some signs of a complete version of this writeup.