Documenting and unit-testing `empty`.