a functionally equivalent behavior always