已知p:-2