Rearrange history section for speed, and add slide on Leibniz monads.