foundation of basic follow-back and local store logic