NFU's stratification restrictions that make this move safe are not truth-preserving translations of ...