Correspondence between future-included and future-not-included theories