Det ligger häri ej obetydligt al ironi;