Lexicon

exchanged basis property