No. 31 (1996): RS-31 Names, Equations, Relations: Practical Ways to Reason about 'new'