Så t. ex. skall bevisas , attmodets