Opening credits appear before the start of a live stage production.