No. 39 (1997): RS-39 Names, Equations, Relations: Practical Ways to Reason about new