Det senare tycks dock ha varithändelsen