Void.Solid proof