Operator system quotients of matrix algebras and their tensor products
If