Added consistency results (first draft)