Agreed. My set intersection joke was unacknowledged. It failed Jepsen.