We allow $count=true nested after $expand, resulting in @odata.count annotations in the inlined representation of to-many navigation properties. This can be deduced from other specification text but is not explicitly stated in the section on odata.count.