search theoretically complete