[aj7]

Effectively, yes. But I attach no greater philosophical significance to that than to say drilling holes is solved because most people can go buy a nice electric drill foR $30-$40. Flying to the moon is solved, too.