Add optimality note: exhaustive enumeration confirms magnitude 3 is minimum 8dd055d CharlesCNorton commited on 10 days ago