wahrheitswert(w).
wahrheitswert(f).
