Rea: Rename and add test