More on tracking contradictions: Optical telescope example Gallery Tutorial TRAIL: Theory and best practices for the Webel Parsing Analysis recipe for SysMLv1.6+ Section Slide kind SysML Block Definition Diagram (BDD)
Most (but not all) telescope designs produce an inverted image at the focal plane Gallery Tutorial TRAIL: Webel SysML Parsing Analysis example: Optical telescopes from Wikipedia: Structure and port-based light flow model Section Slide kind SysML Block Definition Diagram (BDD)