wip
reposition exptrigsimp