dom (SCM-VAL * SCM-OK) = SCM-Memory by Lm5;