他感到极其疲惫，蕖衍出现在齐国稷下学宫，他当然是相夫氏一派的人。
一直以来他都认为相夫氏的辩论为主，兼爱不杀，是墨家真正的大义所在，但是听了程知远两日讲学之后，他深深以为，山东六国，诸士腐朽，早已如空心大树，而且不喜变通，相助于这样的国度，已然对于大义无意义了。
《墨经》把辩也称为“争彼也”，即把辩看作是关于“或谓之牛，或谓之非牛”、“或谓之是，或谓之非”的一对矛盾命题的是非之争，而且认为辩必有胜者和负者，并要求分清胜负。辩的目的和作用在于“将以明是非之分，审治乱之纪，明同异之处，察名实之理，处利害，决嫌疑”。
但辩论只是打嘴皮子仗，如果若真的能和太学主一样，辩出个三五六七来也就罢了，关键是蕖衍在相夫氏一派中如此长久的时间，却没有看到相夫齐墨对天下大义做出什么改变。
太学主之辩，之解，之讲，让蕖衍看到了和自己认知完全不同的东西，同时对于“争彼之辩”的信心，也几乎消弭殆尽。
墨家把“辩”定义为争论一对矛盾命题中的是非。如针对同一动物，甲说“这是牛”，乙说“这不是牛”，就叫做“争彼之辩”。但这样的争彼是“不俱当，必或不当”的，也就是不能同真，必有一假。
这相当于矛盾律的内容。墨家曾用矛盾律分析了当时流行的一些论点的逻辑谬误。例如，《经说下》在批驳“言尽悖”之谬误时指出，如果“以言为尽悖“”这个命题为真，则表明存在着并不荒谬的言论；如果这个命题为假，也表明有些言论不是荒谬的。因此不管怎么说，这个命题都是不正确的。
以坚白同异之辩相訾，以偶不仵之辞相应。
后期墨家还揭示了排中律的内容，指出“谓辩无胜，必不当”，即认为矛盾命题不能同假，其中必有一真。
这看起来已经不太像是墨家的务实主义，反而向名家靠拢了。
但太学主让相夫氏引以为傲的辩术遭到了重大打击。
惠子千年不破的玉连环，飞箭杀人，鸟... ...