Need to update `@requires` above.