Comment by static_void

Indeed, reasoning in the small and reasoning in the large are different skills. Architecture abstracts over code.