The word tuna can however occur in seemingly co-predicative context, such as example (8), but only when the two stages referred to by the word tuna are separated by different time frames.
dependent sort is not a set theoretic object.