Superposition Theorem
----------------------------