Intro for PHOL (overlay style)