as hwilka det bewisas,