Updated expansions

Following Rothstein, I’m calling these two pages “internal expansion”
and “external expansions.”