Also note that this is called `E`, but can also be accessed by `S.Exp1`.