Reference manual / Behaviour where ISO Standard Z is loose
- Constraints appearing after a conjecture may be used as premises in inferences about that conjecture.
- The values of undefined expressions, while not being determined, are treated as being members of their type's carrier set.
IT 20-Nov-2001