A note on martingale transforms for model checks