Missing a couple of `@requires` here.