Now downloading Hypoth for induct and prop.pdf...