p→qが示される?