記号論理学的な「否定」を何通りも、膨大に、作れると思ってる人もいるもんだなあ