brist pä sullständig bewisning , om atthan