En gifven konseqvens af gjordaberäkningar