Marked ttr and wttr as not being congruence relations.