Documenting a hidden assumption