Added all files to deductive system.