A backup of my work for CMSC-15400