destructuring in exists/nonempty #520