Ahh I updated the description so the abstract interpretation makes a bit more sense! Thank you for playing :)
