raw/concept/kbhtheorem_of_alternative.md history