should be IFuture<void>