Final proof