consistency proof