consistency logic