wrote m-term recurrence formula
wrote interval technique, half-all counting, 2-SAT