generalize analysis of regular future and present