"decidable" - key terms from Wikipedia