Some theories are abstract, so some abstract theories are difficult to understand. In order for this reasoning to be correct, which of the following must be added as a premise? ['Some theories are difficult to understand.', 'Everything that is hard to understand is theory.', 'All theories are difficult to understand.', 'All theories are easy to understand.']