Note: This is a preliminary version of this document. I’ve not fully verified that the stuff in here works.