A logic guy with an eye to the future