Text this: The bad company objection and the extensionality of Frege’s logic