Natural Proof Tag

2024