As a general note, @7402 was right to question my comment, particularly with a supplied reference to university course notes.

I made a fat fingered typo, they made a respectful statement of fact, downvotes are not deserved here, if anything throw @7402 a few upvotes for taking part as the HN guidelines encourage.