ACL2をとったガンバに対して
ACL2は大したことない
とかいう他サポ

心理学用語で言う
「酸っぱいブドウ」
の典型やん