presented at event SouthEastern Logic Symposium – SEALS, University of Florida, Gainesville Conference