Write SCC in terms of 'Neg'