Problem: f(x,x) -> s(s(x)) infty() -> s(infty()) Proof: Open