You can now start including and excluding elements from your concept.
A concept was not yet pin-pointed but the constraints have been updated to prevent reaching an invalid
The current constraints have lead to an invalid state. Free or change some constraints in order to
A concept was found using the provided constraints.
chol > 250