I full konseqvens med antagandetaf