That’s a solution a human would come up with implicitly using human understanding of what is appropriate.
You’re right, it would imply that the programmers were quite close to having created a FAI.
You’re right, it would imply that the programmers were quite close to having created a FAI.