More on logic.