YES

---- CR(R)
---- Hot decreasingness.
R:
f(x) -> x
f(x) -> f(f(x))

C:
f(x) -> x

Label:
[f(x) -> f(f(x))] = 0