Direxion's leveraged inverse ETF is synthetically shorting Berkshire.