已知p:-4