A bit more rigor in describing "Any".