prob monad stuff
comments update