lesson quiz: formal logic