raw/concept/math/kbhlinear_temporal_logic.md history