Explore the effects of the elimination of gender as a factor in premium calculation on the pricing, product design and distribution of Life Insurance in the European Union. Learn how the design and administration of pension and life insurance products, and their reserve calculations and audit, can be based on a common formal notation. Additionally, gain insight into a software design for efficient reserve computations, including those for advanced and non-standard life insurance and pension products, that uses a flexible and precise notation that is both machine- and human-readable.