Tagged proof