finally proved something