delta ⊬
18 following