“backwards type”