Mixed by Vengerov and Fedoroff