rootProject.name = "representation-invariants-and-abstraction-functions"