let
lazyinv = !lazyinv