Forcing Friedn

Forcing Friedn with Friedn