monad fud: *existe* nads: