orthogonal factorization systems