You can use id: disj Int to get a unique ID.
id: disj Int
Permalink: https://play.formal-methods.net/?check=ALS&p=reflux-casino-dollar-vibes