feature: downloading a theory