Applying formal methods 2.

• a query, search parameters and isolated occurrences