tighten up checking of !is
mention negated assignability conditions