prose: split two run-ons, drop the We-find openers, cut a restated clause and give Related Work its third paragraph 7f26f64 seonglae commited on 3 days ago
facts: subsampled sources, the alphabet bound, Alergia and HMM against our count, RPNI's 382 states, four AWM gaps over 15 and the monitor's unspent compute ce42ee1 seonglae commited on 3 days ago