The Local Relational Model: Model and Proof Theory