x to ` != x to ` = x to ` = x to `