Proof_Mishler_t