tropicalization done