Have you noticed that the rest of the file references things with absolute names? Remember, we want to educate people so they know what is where. Writing `@HoTT.Overture.compose` instead of `@compose` tells a person where something is. This is useful information for a beginner who does not know how to look things up.