Det senare må antagligensökas