completion via locations is essentially Lawvere's version