Rewrote proper-list to use dotted.