Rascal Does Not Dream of Logical Witch (light novel)

Just before summer vacation begins, Sakuta encounters Shoko Makinohara, a junior high school girl with the same name and face as his first love. But Shoko should be in college by now. That's confusing...and as if that wasn't bad ...