Validity_and_idealizations Working with KC on validity and idealizations. This is primarily a manuscript.