File search works by precondition