Stav dette: Pointwise Relational Programming