( ~t p ))