Han antager först ,att