definiteness in algorithm - Search