Topics Related to Applications and SAT: