logical proof: proof of a logical theorem
proof: a formal series of statements showing that if one thing is true something else necessarily follows from it
right of search: the right of a belligerent to stop neutral ships on the high seas in wartime and search them