~p implies q