Start moving towards using a martingale proof.