Basic operations in reasoning and conceptual exploration. (2016)