B:
D:
A:
Click on the icons on the arrows to see assumptions and injections
C:
D':
In order to we must and in order to we must . But, in order to we must also and in order to we must . we can't both and .
| Relation | Assumption(s) | Injection(s) |