~(q => (p=>q) )