Shouldn't it be guaranteed by the class-level annotation?