Exercises 5 and 6, positive case with locquery