====== Deduktion ======