What does "denotable" mean?