Debugging add implication