add note on search
add note on search to theory doc