amaze kubacukura nintambwe ze byigaragarizaga mu bahungu be the song starts with a faded in synth line and quickly starts the main tune this can be formalized by the first order arithmetical formula presented above