VeriSM(TM): Unwrapped and Applied