Given the function find() which is implemented based on Spec…

Given the function find() which is implemented based on Spec1. Could find() be reimplemented based on Spec2? If yes, explain why. If no, explain why not.   int find(int[] a, int val)    Spec1:   requires: val occurs exactly once in a   effects:  returns lowest index i such that a[i] = val   Spec2:   requires: val occurs at least once in a                     effects:   returns index i such that a[i] = val