DEFGC1309 Draft PRG: Minor Discipline

Library