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