La especie tipo es: "Tetrameranthus duckei