Moved search proof from AppearsInTree