To Integral Logic...