then instead of _expected time_ you should say _hope-for time_ because _expected...

		almostgotcaught on Jan 9, 2025 \| parent \| context \| favorite \| on: SAT Solver Etudes I then instead of _expected time_ you should say _hope-for time_ because _expected time_, in this context, is already firmly defined.