Make policies work: Getting the proof to the top of the pile