update of setoid model