“Wenn p aus q folgt, so muß p in q schon mitgedacht sein”.