(SCM-VAL * SCM-OK) . NAT = NAT