fixpoint/taxistant archive