@devaki: Consistency I