fixpoint/dvacher archive