Definitions are important, but where do they come from? In a previous article I explained the cardinal definition of full homomorphic encryption and how it applies to Dero.