kb:ee:sequential_logic