presence-logic