Finished initial algorithms for adding values to the core and inference process