; There's a button.  If you press it, you lose.

; Setup {{{
(role you)

(init (button off))
(init (turn 0))

(always) ; work around broken gamestepper

; }}}
; Moves {{{
(<= (legal you press) (always))
(<= (legal you wait) (always))

; }}}
; State {{{
(<= (next (button on))
  (does you press))

(<= (next (button off))
  (does you wait))

(<= (next (turn ?x))
  (true (turn ?current))
  (succ ?current ?x))

; }}}
; Ending {{{
(<= terminal
  (true (button on)))

(<= terminal
  (true (turn 4)))

; }}}
; Goals {{{
(<= (goal you 100)
  (true (button off)))

(<= (goal you 0)
  (true (button on)))

; }}}
; Math {{{
(succ 0 1)
(succ 1 2)
(succ 2 3)
(succ 3 4)
; }}}