@kylewadegrove I think that there are actually (at…

@kylewadegrove I think that there are actually (at least) two senses of “more X than Y”, and I was playing with conflating them