A result showing categoricity across both full and Henkin semantics conflates two distinct senses of...