If an alternative logical framework avoiding necessitism is coherent and equally expressive, then SQ...