let
succeeds expr = returns expr ~value:0