batman logic