...rule

Nuprl uses a rule like this.

pavel@
Mon Nov 28 22:59:23 EST 1994