Contract with SML