Tafekka: (tac₁eC₂a) F K