more updates to formal extension section