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 enough, another strange Adolescence Syndrome phenomenon seems to be occurring...