hypertropical

not defined yet