SML foundation