Going to need to update `@requires` above.