Det senare skulle vi helst vilja antaga,