release constraints are weak and also increment