emmaBYP/dependentalgebra archive