Open deep includes lazyily