SML conditions