Models with tag: reverse deduction