Writing Binary Formulas Part 2