runyangzhou runyangzhou 14-03-2021 History contestada When was the doctrine of the Assumption declared infallibly?