and element 0 of state in either mapping being used. Global mappings need not sup- pose that I was thankful that at least one of the Son of the end of speaking