The inclusion of the quantum corresponds to Vizgin’s maximal unification problem
[
385
]
, p. 169.