Comment by i_no_can_eat

Can you elaborate on what constitutes a vacuous proof?