Wenn p aus q folgt, so muß p in q vorausgesehen gewesen sein.