find f such that f solves known-examples.
=>
find f such that f(a)=b and f(c)=d.
=> now replace f with an actual function.
=> try f := dropFirst(n)
return dropFirst(n) for n such as dropFirst(n)(a)=b and ... .