CatGloss

vdash!alpha