the non-standard notation f ∗ (P) and f
∗ (Q) used in the first edition to the standard notation f (P) and f
−1 (Q), respectively. Whereas the author still finds the notation used in the first edition superior in terms of avoiding confusion with inverse functions, he has deferred to requests from colleagues and reviewers to switch to the standard notation