SQUASH ME: provide empty.a