Den logiska dissekering af satsen , Somvi