In which case, by the way, it needs to be stored in an attribute 'increasing_' that shadows the construction attribute, as we cannot modify construction attribute.