@berniesanders: Updated my post.