minor edit: require expand-clause