added notes for discrete math talk