❤️ Safety and Liveness Properties