CS 236 Discrete Structures/Extensions