we're missing a @requires for this