John hates pun names. Aaron loves pun names. Who will win?