Nell'esercizio 4, la seconda domanda
"Does the claim remain true with a type...."
è più difficile di quanto intendessi.
Vi prego di ignorarla.
[L'avevo scritta come appunto per me stesso,
perché non ho una risposta completamente
soddisfacente. Poi me ne sono dimenticato
ed è scivolata nel compito .... chiedo scusa.]