enabled more tests
implemented ↓
implemented ⊢ and ⊣