\(x: Natural) -> (y + missing) ? x