MAYBE

Problem:
 strict:
  a() -> b()
 weak:
  f(x) -> c(x,f(x))

Proof:
 Open