I så fall antaga vi attexemplet