appendum to #10