**Everyday maths**

Let * A* be class of IDE disks,

*be element of*

**a***such that*

**A****is my disk,**

*a**be the class of USB devices and*

**D***be the mapping (*

**F:A -> D***“USB2.0 IDE disk case”*). Show whether for every

*in*

**x***(set of machines running WinXP) the following predicate*

**X****is true:**

*P***P(x)** = **F(a)** plugged into **x** fucks the network connection **n**

Discuss the hypothesis * H0* that

**and**

*F(a)***(set of network connections) are independent values (so called**

*n**No Fucking Way*paradox).

** Note:** The following lemmas can be useful: