fun mystery []         = false
  | mystery [x]        = true
  | mystery (x::y::xs) = mystery xs;

fun ex 0 []      = 0
  | ex y []      = y
  | ex y (x::xs) = ex (y+x) xs;