[ECI] Proof-Probleme