tropicalized

not defined yet