Renamed phi*() to P*()