-When using \gls{MTASK} in conjunction with \gls{ITASK}, entire \gls{IOT} systems are programmed tierlessly from a single source, paradigm, high abstraction level, and type system.
-The dissertation concludes with a comparison between tierless programming and traditional tiered programming.
-We show that many problems such as semantic friction, maintainability, robustness, and interoperation safety are mitigated when using tierless programming.
+When using \gls{MTASK} in conjunction with \gls{ITASK}, entire \gls{IOT} systems are programmed tierlessly from a single source, language, paradigm, high abstraction level, and type system.
+The dissertation concludes with a comparison between tierless programming, in particular in \gls{MTASK}, and traditional tiered programming.
+It shows that many problems such as semantic friction, maintainability, robustness, and interoperation safety are mitigated when using tierless programming.