We introduce two definitions of reduced products of forcing systems and using the appropriate ultraproduct we show that for any theory $T$ of a first order finitary language $L$ there is a forcing system whose forcing companion intersected with $\sent(L)$ gives $T$.