Documenting and unit testing `and`.