New: tropicality