Feature/orthogonal matrix predicate