I'm curious about Arun Pudur and the 4+bil shares he was rumored to have. Does he still have these shares?