3
Intuition about
¼
FO
k
•
Let k be larger then all m’s below (e.g. k=10)
•
Which implies what ?
(a,b,c)
¼
(a’,b’,c’)
(a,c)
¼
(a’,c’)
(a,b)
¼
(a’,b’)
(a,a,b)
¼
(a’,a’,b’)
•
•
Conclusion: if m
·
k, we may take m = k