https://educheer.com/essays/wadge-hierarchy-and-determination/