always be reversible in any situation: jk == kj == identity