[sv-ac] 2578 // which reads better

Replace * *

z) An evaluation attempt of a property of the form property_expr1 implies
property_expr2 is nonvacuous if, and only if, the evaluation attempt of
property_expr1 is nonvacuous.

WITH

z) An evaluation attempt of a property of the form property_expr1 implies
property_expr2 is nonvacuous if, and only if, the evaluation attempt of
property_expr1 is nonvacuous the underlying evaluation attempt of
property_expr1 is true, and the underlying evaluation attempt of property_expr1
is nonvacuous, and* *the underlying evaluation attempt of *property_expr2 *is
 nonvacuous.

z) An evaluation attempt of a property of the form property_expr1 implies
property_expr2 is nonvacuous if, and only if, the evaluation attempt of
property_expr1 is nonvacuous the underlying evaluation attempt of
property_expr1 is true, and both underlying evaluation attempts of
property_expr1
and *property_expr2 *are nonvacuous.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.