Unlike the usual theorems in [1]}, I do not bother to produce an exact classification of balanced virtual conditions, which in this case is complicated and brings nothing new to the proofs. I do not know if the CH assumption can be dropped.
