direct evaluation in k == 1 case
delete old p239
futile attempt at exhausting p239
solved p114