“W is not ⊥” should be “W is ⊥” as the goal is to exclude bit-fields. Proposed change: Strike “not”.