Three more refinements
All variables are bound
No open conditions
But an actual threat
Previous slide
Next slide
Back to first slide
View graphic version