Title: Essence Z with Software Engineering