David H. Friedel Jr. logikonline