"provable" - key terms from Wikipedia