Arcs in the plane

Assuming PFA, every uncountable subset E of the plane meets some C1 arc in an uncountable set. This is not provable from MA(ℵ1), although in the case that E is analytic, this is a ZFC result. The result is false in ZFC for C2 arcs, and the counter-example is a perfect set.