Co takhle přidat Proofy za DECy? Kdo by se s tím rybařil