Did we receive any other verification that a mini-mini is, in fact, the next step? Or only the one most claiming this as fact? Just curious if it's still possible that the next PR is a "pass".