Spectral System Logic view 2