Quase terminando dedução natural