Use prototypes on Correspondence facts.