. . "P is a pattern datum and F is equal to P in the sense of" . .