$PROVE Tuzak. 0.9$