Conversion to P3 appears to work