In my recent posting on Kelley-Morse set theory KM (Vol 17, Issue 22), there is a silly typo, where I wrote: >Roughly speaking, (KM/ZF) ~ (PA/Second order arithmetic). What I *meant* to write was: (ZF/KM) ~ (PA/Second order arithmetic). Ali Enayat