The value of grandparent comment is that it identifies an edge case to keep in mind and make well-defined -- keeps us from blindly trusting.