Implikation/Allimplikation/Regel/Fakt

Mit

ist auch