intermediate: time for bed - next up: refactoring the lossy SR fixpoint
solver