I bet this fails on REE