Ah, I see that these are tested more thoroughly in Global-003.html... :-)