"Only Dry Hands are clean hands", J Sainsbury's

Tim S:
Please consider the Venn diagram derived from J Sainsbury's Statement, "only dry hands are clean hands", which will be henceforth be referred to as 'the statement'.

The box represents the sample space for all hands. Clean hands are represented by the large, shaded sample space. Dry hands are represented by the smaller, white circle.

This statement implies that all dry hands are clean hands. Whilst working in a coal yard, my hands were covered in coal dust, yet were exceptionally dry. These hands were not clean hands. Clearly, I was in violation of 'the statement'. I would therefore seek you advice as to how this predicament can be remedied.

Hamed H:

unfortunately your Lemma is in-valid:
I prove here


integer employee;
const max.employed =1000;
constant hand;
boolean status;


for employee= 1:max.employed
if ((hand == dry ) && (hand != dirty))
hand = clean;
else
hand = dirty
kill (employee)
end



unfortunately the Lemma requires a pre-assumption which had been minimised in the quotation.

Tom L:

Unfortunately I feel I must dispute your Venn diagram - for I believe the respective circles should be reversed. That is to say:

1. A hand can be dry, but not clean (for example, consider the coal yard scenario).
2. A hand can be dry and clean
3. A hand can be not dry and not clean.
4. A hand cannot be not dry and clean.

(3) resides in the outskirts of the diagram, the white square. (2) is the white circle in the middle. (1) is the grey area. Grey in colour, not in lack of definition. (4) is demonstrated by the absence of a suitable area.

That is, you cannot be in violation of the statement, unless you insist your wet hands are clean. However no-one would believe you should you say that (at least no-one aware of the Statement) - as V.M. once said when I wrote "dBm" on a graph axis instead of "dB", "It's just meaningless".

T-Zilla:

I have two lamentations/comments regarding your peer review of my work.

Firstly, is Lemma the singular of dilemma?

Secondly, the routine by which J Sainsbury appear to deal with dirty hands seems to be rather disturbing. Has this always been the case?