So would a formal heretic be someone that questions an infallible teaching of the Catholic Church? And if so, what are the true infallible teachings?