(c) -> (d)