Show HN: Check out INVAR's new case study (invarhq.com)

Try out! See if you can find the hidden case, and see what INVAR can do!