( För Juli monad .)