--- preface.texi.~1.8.~	2003-11-17 20:43:07.000000000 +0000
+++ preface.texi	2003-11-17 21:32:39.000000000 +0000
@@ -119,14 +119,14 @@
 We use some conventions in this manual.
 
 @itemize @bullet
-
 @item
-For some procedures, notably type predicates, we use @dfn{iff} to
-mean `if and only if'.  The construct is usually something like:
-`Return @var{val} iff @var{condition}', where @var{val} is usually
address@hidden' or address@hidden'.  This typically means that @var{val}
-is returned if @var{condition} holds, and that @samp{#f} is returned
-otherwise.
+For some procedures, notably type predicates, we use @dfn{iff} to mean
+``if and only if''.  The construct is usually something like: ``Return
address@hidden iff @var{condition}'', where @var{val} is usually @code{#t}
+or address@hidden  This typically means that @var{val} is returned if
address@hidden holds, and that @samp{#f} is returned otherwise.  To
+clarify: @var{val} will @strong{only} be returned when @var{condition}
+is true.
 @cindex iff
 
 @item
@@ -134,27 +134,27 @@
 evaluation of Scheme expression is shown, we use some notation for
 denoting the output and evaluation results of expressions.
 
-The symbol @address@hidden is used to tell which value is returned by
+The symbol @address@hidden is used to tell which value is returned by
 an evaluation:
 
 @lisp
 (+ 1 2)
address@hidden
-3
address@hidden 3
 @end lisp
 
 Some procedures produce some output besides returning a value.  This
-is denoted by the symbol @address@hidden
+is denoted by the symbol @address@hidden
 
 @lisp
 (begin (display 1) (newline) 'hooray)
 @print{} 1
address@hidden
-hooray
address@hidden hooray
 @end lisp
 
+As you can see, this code prints @samp{1} (denoted by
address@hidden@print{}}), and returns @code{hooray} (denoted by
address@hidden@result{}}).  Do not confuse the two.
 @c Add other conventions here.
-
 @end itemize