docs: verify HF37 and explain nonlearned ordering in both languages
Explain original observation and finite37 development progress bilingually