  We provide a sufficient condition for open sets W and X such that a disc
formula for the largest plurisubharmonic subextension of an upper
semicontinuous function on a domain W to a complex manifold X holds.
