It is admitted that the doctrine as defined by Pius IX was not explicitly mooted before the 12th century