Added deepcopy in implications
Added correct print statment for functions