After 15 years of using Answer Set Programming for lightweight formal methods, I’m enjoying learning Alloy.