700.32/299.38 MAYBE 700.32/299.38 700.32/299.38 Problem: 700.32/299.38 strict: 700.32/299.38 f(s(x)) -> f(x) 700.32/299.38 weak: 700.32/299.38 inf() -> s(inf()) 700.32/299.38 700.32/299.38 Proof: 700.32/299.38 Open 700.32/299.38 EOF