Är det väl konseqvens i dessa båda antaganden?