or `be true` I suppose but they mean different things