Adrian Sampson on Nostr: nprofile1q…6gyrf your `model` is empty (try `print(model)`) because, I think, there ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqf3nlrmpjja65pzmvlegyl27l0y2m007nncxttdwqndrejajvdzask6gyrf (nprofile…gyrf) your `model` is empty (try `print(model)`) because, I think, there are no free variables. try just plain ` ForAll(a, constr)` and leave off the `Exists`