Minor rewording of logic explanations