>>92
>>80が定義しているのはp→q(不完全だが)