G
ewirth
P
G
C
P
roof
CJDDLplus
ExtendedDDL
GewirthArgument