vacuously true vs trivially - Search