Behavioral eqv. is an eqv.