We foresee, moving into the future, the need to be able to connect anything and everything. This will lead to a scale of things that will become incomprehensible by mere mortals if we apply current day approaches. The main reasons for the predicted incomprehensibility are: combinatory logic complexities, further conflated by state and concurrency. In this talk I will discuss the different ingredients of the Dezyne language that aim to dispel these, among which is the formal basis for the language expressed in the mCRL2 formal language framework.