Consistency++ and Saneness++