„Es ist gut daß p” kann wol analysiert
werden in „p . es ist gut wenn p”