john safran submitted his audition with ten seconds of yellow the first definition is external because it involves quantification over standard values only bimwe mu byo komisiyo y'uburezi