Thanks. Do you think there's correspondence for abstractions as well (such as mathematics, as DD seems to suggest)? As I understood, you only think we need it to explain progress in science.