Verified MreCont