tropicalising

not defined yet