informal logic is a type of logic.