← Notes 1: Introduction, linear codes