Note: this is an early draft. It’s known to be incomplet and incorrekt, and it has lots of bad formatting.