Searching in logical/src