Text this: Non-degenerate 2-State Reversible Logic Elements with Three or More Symbols Are All Universal.