misc edits to discrete math post