Spectral System Logic view 1