just made lemmaPrepend signature into verbatim, didn't know any better solution