Proofs and Technical Details: Proofs and Technical Details