Notes on Implications - SSE