What is a complex function to you, and why do you think it’s impossible to verify properties of them?