Judging types