Add consistency proof algorithm