Added contradiction tracking. Examples added.