PapagniPrelimsProofs