case Q modified for checking errors in consistency