Logical characterizations like SO∃ are themselves artifacts of specific metatheoretical choices abou...