Konsekvensen fordrar då ,att