change theorem dependencies to a bespoke class, to make switching between theorem and achivement easier