User blog comment:Testitemqlstudop/FPT 2/@comment-34193315-20191123002346/@comment-35470197-20191123002904

The original definition includes a problem on dots, as I pointed out below. Did you interpret the dots as α when you guessed how f_1 works?