finish verifying monadic functions about terms