S5 with the CBF.

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