Combined letNonRecIntro and progNonRecIntro.