Complaint in ‘Deddens v. Sinclair Community College,’ US District Court for the Southern District of Ohio, July 6, 2012