actually correct proof