Exempel på hur vi ska lösa implikation