> setting up "ideal" as a contrast to "pragmatic" Have to retract the last comment['s promise of final note] and (academically) note here that "ideal" and "opt

> setting up "ideal" as a contrast to "pragmatic" Have to retract the last comment['s promise of final note] and (academically) note here that "ideal" and "optimal" are distinct notions in computer science. A provably "optimal" algorithm is implementable. An "ideal" that requires magical facilities is a trope to make a point and spare one from attempting the impossible.