public static Reachability operator & (Reachability a, Reachability b) { return new Reachability (a.unreachable && b.unreachable); }