Refactor if(negative_state)