logical-consequences