[Matemi] Benders: Book 1. Discovery