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