precision pressure regulators

pre: predicate lambda
next: example of priming