"realizability" - key terms from Wikipedia