Definitions now allow alternate distributions on witness sets.