Is `default` strong enough?  Won't that get overwritten by the value from the proposal?