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