tfpoint and envelope implementation