here `expectMsgPF` makes sense