Implications looks weird https://vine.dev/docs/features/conditions#implication:

    let y = None;
    y is Some(value) => value > 0 // true
    y is Some(value) => value == 0 // true