Consistency proof

  1. REDIRECT Consistency