From 45bb26f09cce9e00a2bc0623cd5b7a13773c3e8f Mon Sep 17 00:00:00 2001
From: Michael Dyck <jmdyck@ibiblio.org>
Date: Thu, 13 Jan 2022 20:14:49 -0500
Subject: [PATCH] Editorial: Simplify IsFooDescriptor ops

i.e., IsAccessorDescriptor, IsDataDescriptor, IsGenericDescriptor

- Prefer "has a field" over "does not have a field".
- Prefer simple conditions over conjunctions.
---
 spec.html | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/spec.html b/spec.html
index 82f2c4c91b5..3fefd144e02 100644
--- a/spec.html
+++ b/spec.html
@@ -4289,8 +4289,9 @@ <h1>
         </dl>
         <emu-alg>
           1. If _Desc_ is *undefined*, return *false*.
-          1. If _Desc_ does not have a [[Get]] field and _Desc_ does not have a [[Set]] field, return *false*.
-          1. Return *true*.
+          1. If _Desc_ has a [[Get]] field, return *true*.
+          1. If _Desc_ has a [[Set]] field, return *true*.
+          1. Return *false*.
         </emu-alg>
       </emu-clause>
 
@@ -4304,8 +4305,9 @@ <h1>
         </dl>
         <emu-alg>
           1. If _Desc_ is *undefined*, return *false*.
-          1. If _Desc_ does not have a [[Value]] field and _Desc_ does not have a [[Writable]] field, return *false*.
-          1. Return *true*.
+          1. If _Desc_ has a [[Value]] field, return *true*.
+          1. If _Desc_ has a [[Writable]] field, return *true*.
+          1. Return *false*.
         </emu-alg>
       </emu-clause>
 
@@ -4319,8 +4321,9 @@ <h1>
         </dl>
         <emu-alg>
           1. If _Desc_ is *undefined*, return *false*.
-          1. If IsAccessorDescriptor(_Desc_) and IsDataDescriptor(_Desc_) are both *false*, return *true*.
-          1. Return *false*.
+          1. If IsAccessorDescriptor(_Desc_) is *true*, return *false*.
+          1. If IsDataDescriptor(_Desc_) is *true*, return *false*.
+          1. Return *true*.
         </emu-alg>
       </emu-clause>