Check-then-act