all (all (real ([1, i; i, 1]) == eye (2)))
