A class a person can take in college is formal logic