vacuously

1
2