Collaborations between George Miller and Richard Jenkins