| ~w | Λ | }V | yn |
| ’²Jw | Λ | }V | yn |
| ¬Ew | Λ | }V | yn |
| ~w | Λ | }V | yn |
| V~w | Λ | }V | yn |
| μ’²Jw | Λ | }V | yn |
| ¬Ew | Λ | }V | yn |