Ayaz > Recent Status Updates

snug trousers with a suggestion of bell

2.5.3

Up to 2.3: Cut Elimination

Widening: suppose I have a state A that transitions via a step S to A', and then S repeats indefinitely. Determining U A{'...} is evidently impossible. So instead, what we do over-approximate A U A' by (1) keeping the constraints common to both A and A' and (2) throwing out the constraints of A that are no longer valid constraints on A'. This is clearly monotonically decreasing in # of constraints and will converge.

We have been introduced to the Harkonnens and the Atreides. We are aware that Paul is something special and the Harkonnens are seeking to destroy the Atreides house.