理系： ∃y∀x [xはyを作る]
文系： ∀x∃y [xはyを作る]

これが成り立ったら
文系の場合yはxに依存するが
理系は適当なyを選べばxがなんであろうがかまわなくなってしまうなぁ・・・