(Er || Es kann keine Wahrheitsfunktion von fa sein, ohne daß man es weiß.)