cas ⊬
39 following