some pseudocode for FIND