Update notes for submitted changes

* use the fact that empty sequences are false