Agreed. Unless we make `with()` call to have a `checkMain()`) call.