remove set_logic_matcher.md since it's in Rudelo