In this lecture, we demonstrate how to model logical implications between decisions using integer variables. We will introduce an algorithmic mechanism for converting logical implications between constraints into equivalent algebraic constraints. We also will show how to model the graphs of (non-convex) piecewise linear functions using integer variables.