add minimality
changes to variables