description of logic