Activities for Symmetries and Idealizations paradigm
(none yet)