sådan substitution är fullt konseqvent,