An optative analysis that only triggers in assertion contexts cannot preserve logical validity acros...