maj : !S proposition ,om