Can we add checks that the range of the appropriate operator applied to an element lands into another element to form complexes.
Can we add checks that the range of the appropriate operator applied to an element lands into another element to form complexes.