Why can we not have both? I don't see the assertion backed up at all.