tropicality

not defined yet