The statement ~ (~ ) p = p Describes