man förmoda * ,att