Robs concat proof