This CHECK(true) can probably be removed?