vore en fullständig konsekvens afde