No, you are right. The author even uses the expression "by pure brute force". I just supposed it would given that virrually every number a user would input is constructible with foldings.