Add transpose and proofy isElem