formal logic is a type of logic.