2 ms·

Exactly. Why use the headnotes at all? I always thought they were obviously were copyrightable. Plus they’re not close to perfect either.