We correspond to some terminal types and lengths.