David Glen JEFFERY, you write: > I'm a little confused by this. How can a conditional expression be used as a > data term other than inside a lambda expression? Like this: main --> io__write_int((23 mod 15 = 7 -> 1 ; 0)). Thomas -- Thomas Conway <conway at cs.mu.oz.au> Nail here [] for new monitor. )O+