Make Policies Work: Getting the Proof to the Top of the Pile