Add optimality note: exhaustive enumeration confirms magnitude 4 is minimum 0cca55a CharlesCNorton commited on 9 days ago