therefore increasing modularity, simplifying reasoning, and ultimately enhancing