Added slides about clause strengthening.