[ 2023-06-13; Varna ]

The group liked the previously suggested wording but would prefer to say "models" instead of "satisfies" in preconditions.