Final proof done