Tagged position-logic