( 1-                                          decrement n by 1 )

: 1-                              ( n --- n )
  1 -                             ( decrement n by 1)
;