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