Added a section on eternal props in linear logic, yay modalities