Need to update `@requires`.