Let's get 'proving1' in first -- creating dummy files in typereasoning and typeandpopulate for now...