Project Description I am working on a part of the Model Expansion (MX) project. My first task will be finding and creating axiomatized NP complete problems and organizing them into a library. The library will serve as examples to be solved by the MX theory and then later to be verified with other systems' solutions. My plan is to learn more about the background of the material and gather and modify some axiomatizations that have been done in other projects before creating my own for problems that have yet to be axiomatized. You can read about Model Expansion here.