We do need complex exp to define my formula, you’re right