Die Implikation $ P \Rightarrow Q $ ist wahr, wenn $ Q $ wahr ist, unabhängig von $ P $. - AIKO, infinite ways to autonomy.