Logische implicatie: verschil tussen versies