tweak functor "proof"