Added SOS to OpSem.hs