let
is_active ba b = active ba b !=
False