Applying formal methods 2.
	a query, search parameters and isolated occurrences