Programming with Minimal Values