Text this: The Structure of Strategy-Proof Random Social Choice Functions over Product Domains and Lexicographically Separable Preferences

 _    _    _    _    _____     __   __   _____    
| |  | || | || | || |  __ \\   \ \\/ // |  __ \\  
| |/\| || | || | || | |  \ ||   \ ` //  | |  \ || 
|  /\  || | \\_/ || | |__/ ||    | ||   | |__/ || 
|_// \_||  \____//  |_____//     |_||   |_____//  
`-`   `-`   `---`    -----`      `-`'    -----`