This requires the Cartesian product of a Taylor model with a Singleton.
This requires the Cartesian product of a Taylor model with a Singleton.