@whitequark@mastodon.social what semantics for undef did you choose?