boring, but important progress