S3.02=S3.03.

Published in: Notre Dame J. Formal Log. (1974)