added expl sections for Armin to work on