tries to elaborate a bit more on expansion rules