Logic Decomposed