satisfying tpt things by General_Apple