If a predicate meets the canonical technical criteria for provability, its associated consistency st...