“Is a solemn definition by a Pope or a Council necessary to make a doctrine heretical?”