Software development for education, governments, entertainment, gaming and professional development, namely, AI-based software and content involving logic-based domains including proofs, math, arguments, computer programs and solutions; Software development in the framework of software publishing, for education, governments, entertainment, gaming and professional development, namely, AI-based software and content involving logic-based domains including proofs, math, arguments, computer progra...