FavoritesProofs (partial edit)