reformulate implementation again

(I used to be indecisive, but now I'm not sure!)