NPMT Func. Assertions