DeduceIt paper