5:1:TetZ$ is not a type