gawel/formalchemy archive