Rep Logic