is pi exist