!(([](bagleadinformedag1 -> <>bagleadmaintainingag1) && [](bagleadinformedag2 -> <>bagleadmaintainingag2) && [](bagleadinformedag3 -> <>bagleadmaintainingag3)) -> []!(bagleadbad))
