"♪ Lipschitz ♪"