Philosopher turned programmer. Logic is logic to me.