represent the values of attributes that may be unknown or may not apply to a tuple
can be assigned to attr when no other val applies, missing/unknown
The a lot of work we have to do is not in [designing new] instruction set architectures