Making logically coherent lessons