[Kevin09210]

>“write X in the style of Y”

"Write this proof in the style of a program"

I think there is something a lot deeper behind this