Fun fact: The instrumental music video for “Variations on a Cloud” by Miracle Musical featured 2 puppets, one of which looked uncannily like John Lennon. Joe Hawley probably did this intentionally, because sometime in time, somewhere in the world he made somesort of mashup of “Variations on a Cloud” with John Lennon's “Imagine”.
Source: various bits of knowledge which probably aren’t very reliable