Write these using `with assuming`.