Four Fours/Lemmata/Two Fours/13/Solutions