Comment Comment by NlightNFotis What is a complex function to you, and why do you think it’s impossible to verify properties of them? parent NlightNFotis 10 months ago