Added consistency spec and analysis