is-up implementation with monocle