We know these values now!