clarified FIND-4, added notes, added inactive test cases, fixed minor dependency typo