Title: the applicants of logic