Kayles: rhd -> triangleright