CatGloss
vdash!alpha