ST and TS as Product and Sum. - Blomet, Quentin; Égré, Paul (Journal of Philosophical Logic, 2024)