ccomb/formalchemy archive