new batman subgroup of batman, 2 assertions