Consistency and Separation