Det senare , hade man trott,