P:s meddelare att bewisa.