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
full-dress uniform: the naval or military uniform that is specified by regulations to be worn on ceremonial occasions