DESIGN: updated