Fixed equality taking functional values