File:Monad.3.G.State.20180127.pdf