Author: Irish logician.