raw/concept/kbhsemidefinite_problem.md history