documents on partializations of orthogonal systems and rewriting them.