fun readInt () = valOf (TextIO.scanStream (Int.scan StringCvt.DEC) TextIO.stdIn) val () = let val x = readInt () val y = readInt () val z = readInt () val x_included = if x <= z then 1 else 0 val y_included = if y <= z then 1 else 0 val ans = z - (x_included + y_included) in print (Int.toString ans ^ "\n") end