Missing several `@requires`.