A generative model for single-channel EEG that incorporates the constraints experts actively enforce during visual scoring and derives algorithms for exact, tractable inference as a special case of Generalized Expectation Maximization via dynamic programming and backpropagation.