File:Monad.3.G.StateEx.20180215.pdf