Failure of Burroni's extension claim in general
Failure conjecture. This claim does not hold in general.
MathDB