Implemented addition of new facts