lazy operand sem'checking (beware)