Updated draft of previously withdrawn paper, is uploaded.
This paper proves that Buss's \(S^2_2\) can prove the consistency of Cook and Urquhart's PV minus induction, but with the substitution rule. This strengthens (albeit the meta-theory is \(S^2_2\)) Beckmann's result.

Dear everyone, I am pleased to announce "AIST Seminar on Software
Reliability". This is a seminar on formal methods which is focused on
industrial applications. The seminar is open to everyone, but
please let me know by 3/19 if you want to join. In particular, if you
come by a car, please let me know.