Consistency of "..."