Lots of F -> \diamondsuit .. Maybe this is wrong?
Comment (big bold and red)
Preparing for hand-in
More F -> diamondsuit
0.333333… -> 1/3