from-list implemented