~~p = p Can we deduce this?