"Empty" fails, because you can rewrite the future