Revised main extension