orthonormal comments on Let’s reimplement EURISKO!

[orthonormal]

Exactly.