attacked proof of functor cat sat if target cat is