CatGloss
Exercise 4. $ true_{alpha}