The labels R, S, T, U stand for arbitrary categories, not real-world topics. This item tests majority in one class transferred through two inclusions while preserving the all/no/some/most relationships exactly. Assume no category is nonempty unless a premise requires it. Which complete argument form is deductively valid?