Paul's codes for CS109