föregående takns senaste förmodan ,att