Równanie potrzebuje świadka.