X is true because there is a proof of X; X is true and so there is a proof of X. Notice that this is a two-way street. The first half of the Credo asserts that proofs are guarantors of truth, and the second half asserts that where there is a regularity, there is a reason.
